Dear Toshi,

Last week I submitted our proposal to arXiv.org.
Today it has been given the following permanent arXiv identifier: arXiv:1208.4956v1 (see the attached file).

Radoje